Modeling of Interactive Storytelling and Validation of Scenario by Means of Linear Logic
نویسندگان
چکیده
Research on Interactive Storytelling has mainly focused on the opposition between a discourse point of view and a character point of view for a story. In this paper, we propose an approach to model Interactive Storytelling using Linear Logic, which is a support for reasoning on both points of view. Then we give an example on an educational game that shows the possibility of validating a scenario of a story, by applying the proof graph of a Linear Logic sequent. Finally we discuss about issues which should be settled and future works to be done on the Linear Logic approach for the IS modeling.
منابع مشابه
Linear Logic Validation and Hierarchical Modeling for Interactive Storytelling Control
The games are typical interactive applications where the system has to react to user actions and behavior with respect to some predefined rules established by the designer. The storytelling allows the interactive system to unfold the scenario of the game story according to these inputs and constraints. In order to improve system’s behavior, the scenario should be structured and the system’s con...
متن کاملA Methodology to Validate Interactive Storytelling Scenarios in Linear Logic
Debugging is one of the main requirements for Interactive Storytelling (IS) authoring tools. During the authoring phase, authors have to specify large numbers of rules and actions as well as consider many possible paths. As a consequence, flaws may happen and finding them “by hand” is complex. Therefore the validation of an IS becomes a crucial issue and automatic assistance in this process is ...
متن کاملLinear Logic for Non-Linear Storytelling
Whilst narrative representations have played a prominent role in AI research, there has been a renewed interest in the topic with the development of interactive narratives. A typical approach aims at generating narratives from baseline action representations, most often using planning techniques. However, this research has developed empirically, often as an application of planning. In this pape...
متن کاملHow Authors Benefit from Linear Logic in the Authoring Process of Interactive Storyworlds
We present a case study of interactive story creation, in which we applied a proof mechanism based on Linear Logic to the authoring process. After initial scenario modeling for dynamic plot generation based on planning, we used the mechanism in iterations of refinements to find possible problems within a huge possibility space of resulting discourses. We describe first results of our case study...
متن کاملANFIS modeling and validation of a variable speed wind turbine based on actual data
In this research paper, ANFIS modeling and validation of Vestas 660 kW wind turbine based on actual data obtained from Eoun-Ebn-Ali wind farm in Tabriz, Iran, and FAST is performed. The turbine modeling is performed by deriving the non-linear dynamic equations of different subsystems. Then, the model parameters are identified to match the actual response. ANFIS is an artificial intelligent tech...
متن کامل